ar X iv : c s . D S / 06 04 06 5 v 1 16 A pr 2 00 6 Algorithmic Aspects of a General Modular Decomposition Theory
نویسنده
چکیده
This paper introduces the ulmods, a generalisation of modules for the homogeneous relations. We first present some properties of the ulmod family, then show that, if the homogeneous relation fulfills some natural axioms, the ulmod family has a unique decomposition tree. Under a certain size assumption we show that this tree can be computed in polynomial time. We apply this theory to a new tournament decomposition and a graph decomposition. In both cases, the polynomial decomposition tree computing time becomes linear. Moreover, we characterise completely decomposable relations and give necessary and sufficient condition for testing if a given homogeneous relation corresponds to a graph or to a tournament, with a polynomial-time test. Finally we give polynomial-time algorithms for the maximal ulmods and the undecomposability of a relation, and conclude with further applications of homogeneous relations.
منابع مشابه
ar X iv : c s / 06 04 06 5 v 1 [ cs . D S ] 1 6 A pr 2 00 6 Algorithmic Aspects of a General Modular Decomposition Theory
This paper introduces the ulmods, a generalisation of modules for the homogeneous relations. We first present some properties of the ulmod family, then show that, if the homogeneous relation fulfills some natural axioms, the ulmod family has a unique decomposition tree. Under a certain size assumption we show that this tree can be computed in polynomial time. We apply this theory to a new tourn...
متن کاملar X iv : h ep - t h / 06 04 19 3 v 1 2 6 A pr 2 00 6 UK - 06 - 05 Kinky Strings in AdS 5 × S 5
We construct a family of closed string solutions with kinks in a subspace of AdS5 × S and study their properties. In certain limits these solutions become folded pulsating strings, although in general they are made of multiple pulsating rectangles. One unusual feature of these solutions is that their monodromy matrices are trivial, leading to vanishing quasi-momenta. Exact Bäcklund transformati...
متن کاملar X iv : m at h / 03 06 23 5 v 2 [ m at h . D G ] 8 N ov 2 00 6 GEOMETRIC CONSTRUCTION OF MODULAR FUNCTORS FROM CONFORMAL FIELD
We give a geometric construct of a modular functor for any simple Lie-algebra and any level by twisting the constructions in [16] and [19] by a certain fractional power of the abelian theory first considered in [13] and further studied in [2].
متن کاملar X iv : h ep - t h / 06 04 16 5 v 1 2 3 A pr 2 00 6 Remarks on Resonant Scalars in the AdS / CFT Correspondence ∗
The special properties of scalars having a mass such that the two possible dimensions of the dual scalar respect the unitarity and the BreitenlohnerFreedman bounds and their ratio is integral (“resonant scalars”) are studied in the AdS/CFT correspondence. The role of logarithmic branches in the gravity theory is related to the existence of a trace anomaly and to a marginal deformation in the Co...
متن کاملar X iv : m at h / 06 04 63 5 v 1 [ m at h . A P ] 2 8 A pr 2 00 6 PARTIAL REGULARITY FOR HARMONIC MAPS , AND RELATED PROBLEMS
Via gauge theory, we give a new proof of partial regularity for harmonic maps in dimensions m ≥ 3 into arbitrary targets. This proof avoids the use of adapted frames and permits to consider targets of ”minimal” C regularity. The proof we present moreover extends to a large class of elliptic systems of quadratic growth.
متن کامل